论法治进程中的正当程序

法治的实现有赖于法治要素的具备,而正当程序有助于法治要素的满足。法治社会应具有的正当程序理念是:正当程序是对人权的尊重和保护,是实现正义的重要途径,程序正义优先于实体正义。     

秘密监听原则探析

秘密监听对公民宪法所保障的权利和自由产生了威胁,但是对侦查日益智能化的犯罪又是不可或缺的证据收集方式。从适应刑事庭审方式对证据要求的角度对秘密监听加以规范,使其以最小化的侵犯公民权利、自由的方式,达到证据收集效率的最优化,使以秘密监听收集方式获得的证据不致因违法而被排除在法庭之外,就必须从理论上解决秘密监听的法理依据及其密切相关的强迫自证其罪与拒绝证言权等问题,并使其能够最终成为定案的依据。     

非平衡等离子体及其军事应用研究进展

高气压非平衡等离子体是当今世界经济、军事强国竞相研究的焦点,涉及工业、军事的高能物质(活性粒子)加工及其辐射的等离子体源及反应器(室)。目前,高气压非平衡等离子体及其源的研究局限于弱(电场)电离放电范畴,存在等离子体浓度低、能耗甚高和体积庞大等问题。为此,研究外加非均匀强电场、空间电荷形成的本征电场对离子的作用力及其运动规律,以便解决形成高浓度等离子体的方法及离子从强电场束缚中引出去的问题,为研制强电离放电非平衡等离子体源提供了理论基础及加工方法,此源外输的等离子体束的浓度有望达到1014/cm3。等离子体源及反应器可以做到微型化,每立方厘米有效放电体积处理气量高达15m3/h。它的体积、能耗、一次造价、运行成本等也将成万倍地降低,解决了等离子体工程化的现存问题;也能解决困扰世界各军事强国的飞行器等离子体隐身、减阻及天线的应用理论与方法问题。     

具有不确定信息的作战方案优选的群决策方法

根据群决策的特点,按照集议决策的习惯程序,提出了一种充分发挥集议决策优势的群决策方法。并基于区间分析对潜艇布雷方案优选中的不确定性进行处理,最后利用了区间数多属性决策的TOPSIS法行为集结的最后结果（决策矩阵）进行数学集结,较好地做到了决策在定性和定量上的综合集成。     

临近空间飞行器等离子体鞘套的太赫兹波穿透特性

临近空间高超声速飞行器再入过程中会产生等离子体鞘套,干扰电磁波对飞行器的探测.针对这一问题,对典型临近空间飞行器模型进行建模,模拟其再入过程中不同飞行工况下的流场分布.基于流场分布对等离子体参数分布进行建模,利用散射矩阵方法从理论上对太赫兹波在等离子体鞘套中的传输特性进行计算.计算结果表明高频太赫兹波能够有效穿透等离子...     

美国非法证据排除规则与德国证据运用禁止规则之比较

非法获得的证据能否作为定案的依据 ,历来为各国刑事证据理论所关注。美国和德国作为英美法系和大陆法系的典型代表 ,分别确立了非法证据排除规则和证据运用禁止规则。研究了两国排除规则的内涵、发展历史、适用范围及存在差异     

日语被动句及被动含义表达的汉译处理

日在日语教学中,经常遇见已掌握日语“被动句”基本结构的学员,总是把日语“被动句”生硬地翻译成汉语的“被字句”。在翻译时,我们应该遵循汉语的表达习惯,体现原文思想。针对日语被动句、被动含义的自动词句、表示原因的主动句这三种情形来研究其汉译处理方法,试图寻找出其中的一些规律。     

BSC信道下线性分组码的差错概率下界分析

针对BSC信道,提出了一种线性分组码的最大似然译码差错概率下界的计算方法.根据最大似然译码算法原理,首先将译码差错概率转化为差错事件的联合概率,基于改进的Dawson-Sankoff界的优化准则,推导出BSC信道下线性分组码差错冗余事件的判决准则,最后得到差错概率下界的计算表达式.该下界只依赖于码字的Hamming重量...     

基于标注事件图的空间数据库主动规则终止性分析

主动规则的终止性分析强化了规则的设计高效性。给出主动规则元模型的概念作为主动规则终止性分析和比较的基础;对精化触发图进行扩展,提出标注事件图分析模型。结合实例给出终止性分析算法。与各种方法的对比说明标注事件图是可应用于终止性分析的通用抽象模型。     

大延时网络中的主动队列管理机制

研究了网络延时对路由器主动队列管理机制的影响,分析了几种典型主动队列管理算法在大延时网络中的性能。在介绍了基于内模补偿的DC-AQM算法的优缺点之后,根据PID控制器延时补偿的Ziegler-Nichols设定方法,提出了ZNDC(Ziegler-Nichols delay compensation)AQM算法并进行了仿真实验验证,实验结果表明算法达到了预期的目标。